Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
661	Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems Gabriel Tamura1, Norha M. Villegas2 , Hausi A. M¨ uller3 , Jo˜ ao Pedro Sousa4 , Add to Reading List Source URL: www.savinetwork.ca Language: English - Date: 2013-10-04 17:10:43 Theoretical computer science Software development Software project management Logic in computer science Cybernetics Adaptation Runtime verification Software development process Software testing Formal methods Software engineering Science
662	ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:05 Electronic design automation Logic design Model checking Temporal logic VHDL Logic simulation Hardware verification languages Formal methods Property Specification Language Electronic engineering Digital electronics Hardware description languages
663	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-09-26 17:40:05 Lisp programming language Functional languages Formal methods Automated theorem proving Procedural programming languages ACL2 Lisp Formal verification Nqthm Computing Software engineering Computer programming
664	An Outline Workflow for Practical Formal Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-01 05:29:48 Science Methodology Requirement Verification Formal verification Software development process Software Formal methods Software development Systems engineering
665	Requirements: Device-to-Battery and the Related Role of Battery Modeling Add to Reading List Source URL: www.fda.gov Language: English Science Software development Formal methods Methodology Systems science Verification and validation Verification Software development process Validation Systems engineering Pharmaceutical industry Validity
666	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2011-03-08 13:23:00 Pharmaceutical industry Validity Technology Quality Evaluation Verification Validation Software development process Runtime verification Science Systems engineering Formal methods
667	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2012-03-13 12:40:54 Applied mathematics Science Quality Systems engineering Automata theory Runtime verification Assertion Specification Model checking Formal methods Theoretical computer science Logic in computer science
668	Engineering High Confidence Medical Device Software Arnab Ray Fraunhofer Center for Experimental Software Engineering [removed] Add to Reading List Source URL: sigbed.seas.upenn.edu Language: English - Date: 2009-08-13 22:42:24 Software development Software engineering Logic in computer science Software quality Static program analysis Formal verification Software development process Model checking Verification and validation Formal methods Software testing Theoretical computer science
669	Microsoft Word - NPS-CS[removed]v7.doc Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2007-09-24 12:10:42 Pharmaceutical industry Validity Ethology Software engineering Systems engineering Requirement Validation Software development process Verification and validation Software development Science Formal methods
670	Microsoft Word - NPS-CS[removed]v3.doc Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2007-08-28 14:25:01 Science Technology Software testing Pharmaceutical industry Validity Verification and validation Formal verification Verification Validation Software development Systems engineering Formal methods

UPDATE